\chapter{Types}

EiC represents its data types as a linked list: representing
the data type in a prefixed form.


\InputList{ls:typeExpr}{Type Expression Data Structure}{typeExprStruct}
